全文获取类型
收费全文 | 550篇 |
免费 | 27篇 |
专业分类
公路运输 | 206篇 |
综合类 | 196篇 |
水路运输 | 84篇 |
铁路运输 | 82篇 |
综合运输 | 9篇 |
出版年
2024年 | 3篇 |
2023年 | 3篇 |
2022年 | 16篇 |
2021年 | 29篇 |
2020年 | 23篇 |
2019年 | 5篇 |
2018年 | 7篇 |
2017年 | 12篇 |
2016年 | 5篇 |
2015年 | 12篇 |
2014年 | 22篇 |
2013年 | 28篇 |
2012年 | 35篇 |
2011年 | 67篇 |
2010年 | 82篇 |
2009年 | 64篇 |
2008年 | 30篇 |
2007年 | 41篇 |
2006年 | 39篇 |
2005年 | 17篇 |
2004年 | 10篇 |
2003年 | 8篇 |
2001年 | 6篇 |
2000年 | 10篇 |
1999年 | 3篇 |
排序方式: 共有577条查询结果,搜索用时 609 毫秒
1.
2.
对于一阶逻辑定理证明器,子句集化简一直是必不可少的步骤,这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断,提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性,根据该原则删除子句,不会影响原始子句集的不可满足性或者可满足性. 此外,依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去(set resolution subsumption, SRSE)方法和集合归结不对称恒真消去(set resolution asymmetric tautology elimination, SRATE)方法,并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去(sesolution subsumption elimination, RSE)方法以及SRATE方法和归结不对称恒真(sesolution asymmetric tautology elimination, RATE)方法之间的有效性,结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效. 相似文献
3.
为探究降雨入渗下裂土边坡水分运移时空特征与失稳机理, 自主研制了足尺模型试验系统和光纤布拉格光栅(FBG)深部柔性位移系统, 对边坡渐进破坏进行了全过程、多物理量联合监测, 揭示了降雨入渗作用下裂土边坡的渐进变形和破坏演化模式; 基于裂土边坡的渐进破坏模式, 提出了土体饱和比概念, 将裂隙深度范围滑体分为饱和层和非饱和层; 以土体饱和度变化描述了含随机分布裂隙的边坡水分运移规律, 并结合刚体极限平衡法探讨了由裂隙控制的边坡失稳机制。研究结果表明: 对于未形成裂隙的边坡, 连续降小雨时浅层变形受表层基质吸力控制; 裂隙形成后, 雨水沿裂隙快速入渗形成暂态饱和区, 导致基质吸力降幅达82.50%~87.14%, 而由其贡献的抗剪强度迅速损失, 从而形成初期溜滑、片蚀等浅层变形, 降雨停止后坡体仍处于蠕变过程, 坡脚与坡顶位移增幅分别为23.40%和19.39%;蒸发后裂隙规模发展增大了雨水对渗流场的影响范围和边坡破坏规模; 土体经历胀缩、蠕变而变得松散, 裂缝区深部土体体积含水率较初始状态的增幅为205.7%;同一降雨条件下, 初始裂隙深度愈深, 稳定系数愈低, 破坏愈快; 对具有同一裂隙深度的边坡, 其稳定系数随土体饱和比的增加逐渐降低, 土体饱和比增长愈快, 表征边坡内部出现大面积连通型饱和区, 这是裂土边坡出现整体失稳的主要原因。 相似文献
4.
为了能够使用现有的数据挖掘技术(例如粗糙集)对外汇汇率时间序列进行数据挖掘,必须从外汇汇率时间序列数据中抽取决定时间序列行为发展趋势的静态属性.针对外汇汇率时间序列的特殊性,给出了时间序列静态属性抽取技术的几个关键步骤,完成了从外汇汇率时间序列中抽取出静态属性,最后利用这些静态属性组成的数据库,实现了对外汇汇率时间序列比较准确的预测. 相似文献
5.
6.
以湘府路湘江大桥(65+5×120+65)m刚构-连续梁桥为工程背景,采用2种方法研究了桥墩在纵横向船舶撞击力作用下的墩身弯矩随船舶撞击高度的变化规律,以确定船撞桥墩的最不利位置。方法一采用简化计算模型进行桥墩弯矩公式推导,方法二采用Midas Civil建立空间有限元仿真全桥模型进行墩身弯矩计算。计算结果表明:有限元仿真全桥模型计算得出的墩身弯矩与简化计算模型推导出的结论是一致的,在船撞力作用下整个桥墩中墩底弯矩最大,且墩底弯矩随着船撞力作用点的升高而增大;简化计算模型中采用了若干简化处理,在进行桥梁船撞安全性评价时宜采用有限元仿真全桥模型计算。本文结果对桥墩设计与船撞安全评价具有一定的指导意义,并在此基础上对此刚构—连续梁桥船撞桥墩安全性进行了评价。 相似文献
7.
以汝郴高速公路山店江大桥1号高墩为工程背景,通过对钢筋混凝土截面的弯矩-曲率分析确定高墩的损伤指标,利用midas/civil软件进行非线性时程分析,得到该桥墩的理论易损性曲线,并讨论壁厚和基础约束刚度2个参数对桥墩易损曲线的影响。研究成果可为预测结构的抗震性能、结构的抗震设计、加固和维修提供参考。 相似文献
8.
9.
为研究高速铁路大跨度混合梁斜拉桥钢-混结合段受力与传力特性,以主跨672 m的安九铁路鳊鱼洲长江大桥为背景,采用ANSYS软件建立主梁钢-混结合段有限元模型,分析其在最不利工况下的受力特点及变形特性,以及钢-混结合段长度对其受力性能的影响规律。结果表明:在最不利负弯矩工况作用下,边箱顶板与承压板焊接处存在应力集中及一定的局部拉应力;钢-混结合段混凝土在预应力作用下基本处于全截面受压状态;钢-混结合段内剪力钉和PBL剪力键受力并不均匀;钢-混结合段承压板直接向混凝土梁体传递约47.3%的轴力,是钢-混结合段传力的主要构件;钢-混结合段竖向位移及转角变化平缓,无明显的突变现象;钢-混结合段长度在1.50~3.50 m范围内时受力、传力差异并不显著。 相似文献
10.
编组站系统能力协调度的计算分析 总被引:1,自引:0,他引:1
以编组站实际作业过程为研究背景,基于编组站车流到达的不均衡性,将每一时段[ti-1,ti)的车流输入强度划分为3种不同的到达状态,结合对车流状态及编组站各系统能力的分析,得出编组站系统作业能力的协调度计算公式,最后,根据某编组站的实际车流量,计算出该编组站车流密集到达状态下的系统协调度。实例计算分析表明:所得出的协调度计算结果能够反映出编组站系统能力协调的薄弱环节,为提高编组站整体作业能力提供了一种新的方法。 相似文献